تعداد ۱ پاسخ غیر تکراری از ۱ پاسخ تکراری در مدت زمان ۰,۸۳ ثانیه یافت شد.

1. Languages, Design Methods, and Tools for Electronic System Design

المؤلف: \ Franco Fummi, Robert Wille, Editors

المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Formal methods (Computer science) -- Congresses,Software engineering -- Congresses,Computer software -- Verification -- Congresses,روش‌های صوری (کامپیوتر) -- کنگره‌ها,نرم‌افزار -- مهندسی-- کنگره‌ها ,نر‌م‌افزار -- راستی‌آزمایی -- کنگره‌ها

رده :

E-Book

تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها